Skip to content

ci: fixing github actions#63

Merged
danilolutz merged 1 commit intomainfrom
ci/fix
Nov 25, 2025
Merged

ci: fixing github actions#63
danilolutz merged 1 commit intomainfrom
ci/fix

Conversation

@danilolutz
Copy link
Owner

No description provided.

@danilolutz danilolutz merged commit f06dc87 into main Nov 25, 2025
1 of 3 checks passed
@danilolutz danilolutz deleted the ci/fix branch November 25, 2025 18:08
@coveralls
Copy link

Coverage Status

coverage: 100.0%. remained the same
when pulling 0e42272 on ci/fix
into 15feeb5 on main.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants